Modeling and Performance Evaluation of Production Lines Using the Modeling Language MOSEL
نویسندگان
چکیده
Modeling and performance evaluation of current production systems gains more and more importance because of growing system complexity and production costs. Therefore tools and methods are needed that allow a simple modeling and performance evaluation of systems. The goal of this paper is to give a short introduction into the speci cation of production systems using the model description language MOSEL (MOdeling Speci cation and Evaluation Language) [BoHe95] and the analysis tool MOSES (MOdeling Speci cation and Evaluation System) [BGJZ94, BGR95] which uses MOSEL as input. Therefore the characteristics of the components of production systems (like batch processing or unreliable machines) are introduced. For each of these characteristics a MOSEL speci cation is given and explained. On the example of a wafer production system [Rand86] it is shown that using our speci cation language also realistic production systems can be speci ed and analyzed.
منابع مشابه
A brief introduction to MOSEL-2
The versatile MOdeling, Specification and Evaluation Language is the core element of the MOSEL-2 tool. This description languages provides a high-level means for specifying models, performance measures, and the graphical presentation of results. The description languages is implemented in form of an evaluation environment that comprises translators to the modeling languages of several third-par...
متن کاملModeling Non-homogeneous Terminal Systems Using MOSEL
In this paper we consider a stochastic queueing model for the performance evaluation of a real life computer system consisting of n terminals connected with a CPU. A user at terminal i has thinking and processing times depending on index i. First we discuss reliable models, and then unreliable models (i.e. the CPU and the terminals are subject to random breakdowns). The models described here ar...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملApplication Of MOSEL-2 Language In Performance And Modeling Of Cellular Wireless Networks
Today's cellular wireless networks must meet increasing challenges of handling a larger demand for service without a loss of quality, by maximizing the spectral efficiency of the network. Therefore, performance evaluation and modeling of cellular wireless networks is considered to be an important issue to overcome the problem of limited resources of the network. MOSEL-2 (MOdelling Specification...
متن کامل